Object A : A Morphism f : A 1 ⊗
نویسندگان
چکیده
This paper deals with questions relating to Haghverdi and Scott’s notion of partially traced categories. The main result is a representation theorem for such categories: we prove that every partially traced category can be faithfully embedded in a totally traced category. Also conversely, every symmetric monoidal subcategory of a totally traced category is partially traced, so this characterizes the partially traced categories completely. The main technique we use is based on Freyd’s paracategories, along with a partial version of Joyal, Street, and Verity’s Int-construction.
منابع مشابه
On the Categories Without Uniqueness of cod and dom . Some Properties of the Morphisms and the Functors
In this paper C denotes a category and o1, o2, o3 denote objects of C. Let C be a non empty category structure with units and let o be an object of C. Observe that 〈o, o〉 is non empty. The following propositions are true: (1) Let v be a morphism from o1 to o2, u be a morphism from o1 to o3, and f be a morphism from o2 to o3. If u = f · v and f −1 · f = id(o2) and 〈o1, o2〉 6= ∅ and 〈o2, o3〉 6= ∅...
متن کاملProblem Set 10 Jason Starr Fall 2015 MAT 536 Problem Set 10
Problem 1.(The Mapping Cone is a Homotopy Limit and a Homotopy Colimit) Let A be an Abelian category. Let A● and B● be objects in Ch●(A). Let f ● ∶ A● → B● be a morphism in Ch●(A). For every object T ● of Ch●(A), a left homotopy annihilator to T ● is a pair (Q●, σ●) of a morphism Q● ∶ B● → T ● in Ch●(A) and a nullhomotopy (σn ∶ An → T n−1)n∈Z of Q● ○ f ●, i.e., for every n ∈ Z, Q ○ f = dn−1 T ○...
متن کاملMiscellaneous Facts about Functors
(3) Let A, B be transitive non empty category structures with units, F be a precontravariant feasible functor structure from A to B, and G be a precontravariant feasible functor structure from B to A. Suppose F is bijective and G = F−1. Let a1, a2 be objects of A. Suppose 〈a1,a2〉 6= / 0. Let f be a morphism from a1 to a2 and g be a morphism from F(a2) to F(a1). Then F( f ) = g if and only if G(...
متن کاملMath 201 B Midterm 1
Problem 1. Let C be a category with the zero object OC (that is, an object which is both universal and co-universal). In particular, for any pair of objects M and N , we have a distinguished morphism 0M,N ∈ HomC (M,N) , called the zero morphism, which is the composition of the unique morphisms M → OC and OC → N . Let M and N be objects in C and f ∈ HomC (M,N) . Recall that a kernel of f is a pa...
متن کاملTriangulated Categories and Stable Model Categories
X id → X → 0→ · For any morphism u : X → Y , there is an object Z (called a mapping cone of the morphism u) fitting into a distinguished triangle X u − → Y → Z → · Any triangle isomorphic to a distinguished triangle is distinguished. This means that if X u − → Y v − → Z w −→ X[1] is a distinguished triangle, and f : X → X, g : Y → Y , and h : Z → Z are isomorphisms, then X′ gu f −1 −−−−→ Y ′ hv...
متن کاملRelative Affine Schemes
1 Affine Morphisms Definition 1. Let f : X −→ Y be a morphism of schemes. Then we say f is an affine morphism or that X is affine over Y , if there is a nonempty open cover {Vα}α∈Λ of Y by open affine subsets Vα such that for every α, fVα is also affine. If X is empty (in particular if Y is empty) then f is affine. Any morphism of affine schemes is affine. Any isomorphism is affine, and the aff...
متن کامل